Fix a leak in set_symmetric_difference().